Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance
busy beaver function
ncatlab.org·2d
Academic Philosophy - My quixotic quest
notes.billmill.org·22h
Song recommendations with F# free monads
blog.ploeh.dk·17h
Intuition for Pick’s Theorem
johndcook.com·1d
Sets & Heaps in Haskell and Rust
mmhaskell.com·15h
FLINT: Fast Library for Number Theory
flintlib.org·6h
New instructor resources for Llaudet and Imai’s book, Data Analysis for Social Science
statmodeling.stat.columbia.edu·3h
A critique of philosophical objectivity
lapcatsoftware.com·9h
Counting Org mode headlines
mbork.pl·18h
Is math discovered or invented?
mathwithbaddrawings.com·13h
Loading...Loading more...